Search Results
CPP'2021 - Short presentation: Extracting Smart Contracts Tested and Verified in Coq
[CPP'23] Formalising Decentralised Exchanges in Coq
ConCert: A Smart Contract Certification Framework in Coq.
CPP 2021 Streamed sessions: Monday, Jan 18, 6pm
ConCert: A Smart Contract Certification Framework in Coq
ML 2021 - Code Extraction from Coq to ML-like languages
Nomadic Labs Research Seminars #23 | ConCert, a framework for smart contract verification in Coq
CPP 2021 Lightning Talks: Monday, Jan 18, 8pm
[CPP'22] Coq's vibrant ecosystem for verification engineering
Evgenii Kuznetcov – Introduction to Coq theorem prover (Berlin Software Verification Meetup #2)
Coq mathcomp install
[POPL 2021] CoqPL: Verifying a compiler through equational means
![[CPP'23] Formalising Decentralised Exchanges in Coq](https://img.youtube.com/vi/3POvlkMjHnI/hqdefault.jpg)
![[CPP'22] Coq's vibrant ecosystem for verification engineering](https://img.youtube.com/vi/StQ40osfQTo/hqdefault.jpg)
![[POPL 2021] CoqPL: Verifying a compiler through equational means](https://img.youtube.com/vi/Qj8dGo010zI/hqdefault.jpg)